Runt ime Verification of Analog and Mixed Signal Designs
نویسندگان
چکیده
Runtime Verification of Analog and Mixed Signal Designs
منابع مشابه
Formal Verification of Analog and Mixed Signal Designs: A Survey ⋆
Analog and Mixed Signal (AMS) designs are an important part of embedded systems that link digital designs to the analog world. Due to challenges associated with its verification process, AMS designs require a considerable portion of the total design cycle time. In contrast to digital designs, the verification of AMS systems is a challenging task that requires lots of expertise and deep understa...
متن کاملAnalog Simulation Meets Digital Verification – A Formal Assertion Approach for Mixed-Signal Verification
Functional and formal verification are important methodologies for complex mixed-signal designs. But there exists a verification gap between the analog and digital blocks of a mixed-signal system. Our approach improves the verification process by creating mixed-signal assertions which are described by a combination of digital assertions and analog properties. The proposed method is a new assert...
متن کاملUniversal Verification Methodology (UVM)-based Random Verification through VCS and CustomSim in Analog Mixed-signal Designs for Faster Coverage Closure
This paper describes application of RTL verification methodology in analog mixed-signal (AMS) designs. Given the increasing complexity of mixed-signal circuits, it is important to increase the volume and variance in stimulus to ensure functional correctness. Lengthy run times of SPICE-based mixed-signal simulations are a significant productivity bottleneck in coverage closure and testplan compl...
متن کاملTowards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL
Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodologies, recent research suggested extending PSL to support AMS systems. However, PSL has been defined initially to formalize properties about logical signals using models such as automata. In fact, the presence of continuous sign...
متن کاملFormal Verification of Analog and Mixed Signal Designs in Mathematica
In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induction and constraints solving to generate correctness for the system with respect to given properties. The methodology has the advantage of avoiding exhaustive simulation usually utilized in the verification. We illustr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010